Designing Animation Facilities for gCSP
نویسندگان
چکیده
To improve feedback on how concurrent CSP-based programs run, the graphical CSP design tool (gCSP [3,2]) has been extended with animation facilities. The state of processes, constructs, and channel ends are indicated with colours both in the gCSP diagrams and in the composition tree (hierarchical tree showing the structure of the total program). Furthermore, the contents of the channels are also shown. In the Fringe session, we will present and demonstrate this prototype animation facility, being the result of the MSc project of Hans van der Steen [5], and ask for feedback.
منابع مشابه
The Burundi Heart Centre: From concept to design
Burundi is one of the world's poorest nations, which is also reflected in its relative lack of cardiac facilities, particularly those catering to young children and adults. The authors discuss current efforts to build "The Burundi Heart Centre" to help address this challenge. In particular, they highlight how the project can act as a case study for a sustainable architecture that involves local...
متن کاملVisualizing Geometric Algorithms with WAVE: System Demonstration
The visual nature of geometric applications makes them a natural area for designing systems which describe relevant aspects of the algorithm behaviour by using animation. Namely, the animation of geometric algorithms is mentioned among the strategic research directions in computational geometry by Tamassia et al. [12] and increasing attention has been put toward designing and developing algorit...
متن کاملFPGA based Control of a Production Cell System
Most motion control systems for mechatronic systems are implemented on digital computers. In this paper we present an FPGA based solution implemented on a low cost Xilinx Spartan III FPGA. A Production Cell setup with multiple parallel operating units is chosen as a test case. The embedded control software for this system is designed in gCSP using a reusable layered CSP based software structure...
متن کاملA graphical tool for specification of reactive systems
A prototype of a simulation tool with graphical visualization and animation facilities has been implemented for the DisCo specification language. This paper describes the basic ideas behind it, with emphasis on the visualization and animation facilities. The DisCo language is designed so that formal reasoning can be used to ensure critical properties of the specification. Simulation with animat...
متن کاملThe Study of Education Based on Animation in Patient’s Performance under Hemodialysis in Emergency Evacuation Selected Hospitals of Aja
Introduction: A disaster evacuation program is one of the most important parts of hospital crisis management. The following study was carried out to determine the effects of animation-based teaching on hemodialysis patients’ performance in an emergency evacuation. Material and Method: In this quasi-experimental study, two out of four AJA Hospitals in Tehran that had hemodialysis wards, were sel...
متن کامل